This paper
introduces a logic language that has a dynamic update mechanism for specifying
changes to logic programs. With an
initial knowledge base, it is updated sequentially by the LUPS language. The sequence of update commands is
defined by the semantics of the dynamic logic program generated by those
commands.
The really interesting part of this paper is figure 1 that breaks down the logic system into a set of tasks that act as components of the logic engine. This simplification into manageable components could make the system easier to comprehend and visualize while programming, although no examples are offered to demonstrate this.
The common knowledge
base contains knowledge about the self and the agent community, and is
conceptually divided into the following components: Capabilities,
Intentions, Goals, Plans, Reactions, Object Knowledge Base, Internal
Behaviour Rules, and time.
***** Need more detailed summary hereÉ